#include <stdlib.h>

int main(int argc, char **argv)
  {
    int x;

    x = atoi( "-289" );
    y = atoi( "-289" );
    return 0;
  }
